Jalapa: Securing Java with Local Policies
نویسندگان
چکیده
We present Jalapa, a tool for securing Java bytecode programs with history-based usage policies. Policies are defined by usage automata, that recognize the forbidden execution histories. Usage automata are expressive enough to allow programmers specify of many real-world usage policies; yet, they are simple enough to permit formal reasoning. Programmers can sandbox untrusted pieces of code with usage policies. The Jalapa tool rewrites the Java bytecode by adding the hooks for the mechanism that enforces the given policies at run-time.
منابع مشابه
Securing Java with Local Policies
We propose an extension to the security model of Java. It allows for specifying, analysing and enforcing history-based policies. Policies are defined by finite state automata recognizing the permitted execution histories. Programmers can sandbox an untrusted piece of code with a policy, which is enforced at run-time through its local scope. A static analysis allows for optimizing the execution ...
متن کاملGenetic Variation of Cytochrome b Gene in Three Local Goat Breeds in Central Java of Indonesia
This study was conducted to elucidate the genetic diversity and phylogenic relationship of three local goat breeds in Central Java of Indonesia based on the cytochrome b (cyt b) gene sequence. Blood samples of 19, 15 and 12 heads of Kacang, Kejobong and Ettawa Grade breeds, respectively, were used as materials of the study. The multiple alignment of cyt b gene was conducted by comparing under s...
متن کاملMemory-Constrained Security Enforcement
With the proliferation of mobile, wireless and internet-enabled devices (e.g., PDAs, cell phones, pagers, etc.), Java is emerging as a standard execution environment due to its security, portability, mobility and network support features. The platform of choice in this setting is Java ME-CLDC. With the large number of applications available for Javaenabled network-connected devices, security is...
متن کاملMultivariate Analysis of Morphological Traits of Local Goats in Central Java, Indonesia
The objective of this research was to discriminate four local breeds of goat in Central Java-Indonesia using multivariate analysis. Data from eight morphological traits of four goat breeds, namely Kejobong goat (JG), Etawa Grade goat (EGG), Kacang goat (KG) and Jawarandu goat (RG) originated from Purbalingga, Purworejo, Grobogan and Pemalang regencies, respectively, were used. One hundred and s...
متن کاملCheko : Aspect-Oriented Runtime Monitor Certification via Model-Checking (Extended Version)
In-lining runtime monitors into untrusted binary programs via aspectweaving is an increasingly popular technique for efficiently and flexibly securing untrusted mobile code. However, the complexity of the monitor implementation and in-lining process in these frameworks can lead to vulnerabilities and low assurance for code-consumers. This paper presents a machine-verification technique for aspe...
متن کامل